Proof that ordinary least squares has one solution